int printf(const char *fmt, ...);

int g_init_var = 84;
int g_uninit_var;

void func1(int i)
{
    printf("%d\n", i);
}

int main(void)
{
    static int s_var = 85;
    static int s_var2;

    int a = 1;
    int b;
    func1(s_var+s_var2+a+b);
    return a;
}